Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
321	Temporal Logical Filtering – Preliminary Results ** DRAFT October 16, 2002 Eyal Amir Computer Science Division University of California at Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2002-11-26 01:07:16** Mathematical logic Knowledge representation Interpretation Philosophy of language Philosophy of mind Semantics Situation calculus Action description language Frame problem Logic Mathematics Logic programming
322	Analysis of “Proposal for Extension to Java Floating Point Semantics, Revision 1” Add to Reading List Source URL: www.sonic.net Language: English - Date: 2002-01-18 17:12:51 Java programming language Java platform Data types Strictfp Floating point Java X86 C Extended precision Computing Computer arithmetic Cross-platform software
323	Generalized Certicate Revocation Carl A. Gunter and Trevor Jim July 19, 1999 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-08-23 16:40:12 Programming language semantics Applied mathematics Mathematics Quartz crystal microbalance Revocation list X.509 Denotational semantics Operational semantics Sheaf Theoretical computer science Public-key cryptography Logic in computer science
324	NOMINAL LOGIC PROGRAMMING A Dissertation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-11-18 09:15:28 Grammar Theoretical computer science Logic in computer science Nominal terms Denotational semantics Prolog Higher-order abstract syntax Syntax Programming language Mathematics Logic Programming language theory
325	Analyticity and ‘in virtue of’ Generalizations in French Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:04 Semantics Philosophical logic Quantification Philosophy of language Accessibility relation Possible world Linguistic modality Uniqueness quantification Generic programming Logic Mathematical logic Modal logic
326	Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-23 04:26:27 Mathematics Programming language semantics Formal methods Formal sciences Denotational semantics Semantics of programming languages Programming language theory Axiomatic semantics Mathematical logic Theoretical computer science Logic in computer science Applied mathematics
327	12 A PROCESS MODEL CHAPTER III: AN OBJECT Our concept of "implying" has already moved to a second Add to Reading List Source URL: www.focusing.org Language: English - Date: 2004-03-16 23:06:46 Object-oriented programming Ontology Philosophy of language Semantics Philosophy of mind Concept Object-oriented design Perception Object Mind Metaphysics Philosophy
328	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics
329	BLISS Language Reference Manual Order Number: AA–H275E–TK Add to Reading List Source URL: www.digiater.nl Language: English - Date: 1997-03-19 09:35:03 Procedural programming languages Programming language Semantics C ALGOL 68 Computing Software engineering Programming language theory
330	J Autom Reasoning manuscript No. (will be inserted by the editor) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-06 11:25:12 Computer science Logic in computer science Dependently typed programming Type theory Programming language semantics Generalized algebraic data type Lambda calculus Denotational semantics Theoretical computer science Software engineering Models of computation

UPDATE